Many-Valued Logic, Partiality, and Abstraction in Formal Specification Languages
نویسنده
چکیده
ion in Formal Specification
منابع مشابه
BCS Formal Aspects of Computing Protective Interface Specifications ∗
The interface specification of a procedure describes the procedure’s behaviour using preand postconditions. These preand postconditions are written using various functions. If some of these functions are partial, or underspecified, then the procedure specification may not be well-defined. We show how to write preand postcondition specifications that avoid such problems, by having the preconditi...
متن کاملFormal Aspects of Computing Protective Interface Specifications ∗
The interface specification of a procedure describes the procedure’s behaviour using preand postconditions. These preand postconditions are written using various functions. If some of these functions are partial, or underspecified, then the procedure specification may not be well-defined. We show how to write preand postcondition specifications that avoid such problems, by having the preconditi...
متن کاملAlternating Regular Tree Grammars in the Framework of Lattice-Valued Logic
In this paper, two different ways of introducing alternation for lattice-valued (referred to as {L}valued) regular tree grammars and {L}valued top-down tree automata are compared. One is the way which defines the alternating regular tree grammar, i.e., alternation is governed by the non-terminals of the grammar and the other is the way which combines state with alternation. The first way is ta...
متن کاملFormal Models for Encapsulation, Structure and Hierarchy in Distributed Systems
In order to deal with the complexity of hardware / software designs, design methodologies are applied, many of which are based on objectoriented design concepts, for example UML. Using such a methodology one can create executable models of the system to be designed. These models can be used to verify that the system displays the desired behaviour. Automated verification tools allow the designer...
متن کاملWeb Service Choreography Verification Using Z Formal Specification
Web Service Choreography Description Language (WS-CDL) describes and orchestrates the services interactions among multiple participants. WS-CDL verification is essential since the interactions would lead to mismatches. Existing works verify the messages ordering, the flow of messages, and the expected results from collaborations. In this paper, we present a Z specification of WS-CDL. Besides ve...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Logic Journal of the IGPL
دوره 13 شماره
صفحات -
تاریخ انتشار 2005